ar X iv : 0 71 0 . 35 19 v 1 [ cs . C C ] 1 8 O ct 2 00 7 P - matrix recognition is co - NP - complete
نویسنده
چکیده
This is a summary of the proof by G.E. Coxson [1] that P-matrix recognition is co-NP-complete. The result follows by a reduction from the MAX CUT problem using results of S. Poljak and J. Rohn [5].
منابع مشابه
ar X iv : 0 81 0 . 50 56 v 1 [ cs . C C ] 2 8 O ct 2 00 8 P is not equal to NP . Sten - Åke
SAT 6∈ P is true, and provable in a simply consistent extension B of a first order theory B of computing, with a single finite axiom B characterizing a universal Turing machine. Therefore P 6 = NP is true, and provable in a simply consistent extension B of B.
متن کاملar X iv : 1 71 0 . 05 14 0 v 1 [ cs . C C ] 1 4 O ct 2 01 7 On complexity of multidistance graph recognition in R 1 Mikhail Tikhomirov
Let A be a set of positive numbers. A graph G is called an Aembeddable graph in R if the vertices of G can be positioned in R so that the distance between endpoints of any edge is an element of A. We consider the computational problem of recognizing A-embeddable graphs in R1 and classify all finite sets A by complexity of this problem in several natural variations.
متن کاملRTES-03 Interfaces.indd
[ B ur ns 20 07 ] B u rn s, A & W el lin gs , A C o n cu rr en t a n d R ea l-T im e Pr o gr am m in g in A d a, e d it io n C am b ri d ge U n iv er si ty P re ss 2 00 7 [ M o to ro la 19 96 ] M o to ro la Ti m e Pr o ce ss in g U n it R ef er en ce M an u al 1 99 6 p p . 1 -1 42 [ M o to ro la 20 00 ] M o to ro la M PC 56 5 & M PC 56 6 2 00 0 p p . 1 -1 31 2 [ P ea co ck 19 97 ] Pe ac o ck , ...
متن کاملar X iv : 0 71 0 . 27 95 v 1 [ he p - la t ] 1 5 O ct 2 00 7 Charmonium properties in the quark - gluon plasma
We present results for charmonium correlators and spectral functions in 2-flavour QCD on anisotropic lattices. Our results indicate that the S-waves (J/ψ and η c) survive up to temperatures close to 2T c , while the P-waves (χ c0 and χ c1) melt away below 1.2T c. c Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.
متن کاملar X iv : 0 71 0 . 24 70 v 1 [ he p - la t ] 1 2 O ct 2 00 7 Lattice Approach to Light Scalars
I report on lattice QCD calculations that study the properties of the a0 and f0 mesons.
متن کامل